Naviga IRIS

Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE

Ordina per:

In ordine:

Risultati/Pagina

Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

o inserisci le iniziali:

Mostrati risultati da 24 a 29 di 29

2009-01-01 SALVATORE LA, Torre; P., Madhusudan; Parlato, G

2013-01-01 DE BONIS, Luciano

2015-01-01 Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G

2017-01-01 Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G

2014-01-01 Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro

2015-01-01 Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro

Titolo	Data di pubblicazione	Autore(i)
Reducing Context-bounded Concurrent Reachability to Sequential Reachability	1-gen-2009	SALVATORE LA, Torre; P., Madhusudan; Parlato, G
Smart Cities as "EnvironMental" Cities	1-gen-2013	DE BONIS, Luciano
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches	1-gen-2015	Truc L., Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Using Shared Memory Abstractions to Design Eager Sequentializations for Weak Memory Models	1-gen-2017	Ermenegildo, Tomasco; Truc Lam, Nguyen; Bernd, Fischer; Salvatore La, Torre; Parlato, G
Vac - Verifier of administrative role-based access control policies	1-gen-2014	Ferrara, Anna Lisa; Madhusudan, P.; Nguyen, Truc L.; Parlato, Gennaro
Verifying Concurrent Programs by Memory Unwinding	1-gen-2015	Tomasco, Ermenegildo; Inverso, Omar; Fischer, Bernd; LA TORRE, Salvatore; Parlato, Gennaro

Mostrati risultati da 24 a 29 di 29